Interorganizational Workflow Nets: a Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows
نویسندگان
چکیده
Interorganizational workflows represent a new technique that offers companies a solution for managing business processes that involve more than one organization. In this paper, an interorganizational workflow will be modelled using a special class of nested Petri nets, interorganizational workflow nets (IWF-nets). This approach will allow the specification of the local workflows in the organizations involved and of the communication structure between them, permitting a clear distinction between these components. The paper defines a notion of behavioural correctness (soundness) and proves this property is decidable for IWF-
منابع مشابه
Loosely coupled interorganizational workflows: : modeling and analyzing workflows crossing organizational boundaries
Today's corporations often must operate across organizational boundaries. Phenomena such as electronic commerce, extended enterprises, and the Internet stimulate cooperation between organizations. Therefore, it is interesting to consider workflows distributed over a number of organizations. Interorganizational workflow offers companies the opportunity to re-shape business processes beyond the b...
متن کاملInterorganizational Workflows An approach based on Message Sequence Charts and Petri Nets
To date, workflow management focuses on improving the effectivity and efficiency of business processes within one organization. However, today’s corporations are challenged to cross organizational boundaries. Phenomena such as electronic commerce, extended enterprises and the Internet stimulate the cooperation between organizations. Therefore, it is interesting to consider workflows distributed...
متن کاملModeling Interorganizational Workflows with XML Nets
Efficient interorganizational business processes in the field of e-commerce require the integration of electronic document and data interchange and interorganizational processes. We propose to support interorganizational business processes by so-called XML nets, a new kind of high-level Petri nets. XML nets are a formal, graphical modeling language that allows to model both the flow of XML docu...
متن کاملVerification of Itineraries for Mobile Agent Enabled Interorganizational Workflow
We apply mobile agents to synchronize workflows of different organizations resulting in an interorganizational workflow. This paper models agent enabled interorganizational workflows using Interorganizational Workflow Nets. This model provides a means to verify the correctness (and, so the viability) of the itineraries of agents used in enacting interorganizational workflows. We also outline an...
متن کاملTemporal Consistency of View Based Interorganizational Workflows
Interorganizational workflows are a major step in automating B2B electronic commerce and to support collaborations of organizations on the technical level. Process views are an important conceptual modelling approach for interorganizational workflows as they allow interaction and communication while internal and private parts of the process can be hidden. However, it essential to guarantee that...
متن کامل